Struct isotope::ctx::ty::BinaryCtx [−][src]
pub struct BinaryCtx<C, T> { pub cons: C, pub eq: T, }
Expand description
A simple typing context, which combines a ConsCtx
and a TermEqCtx
Fields
cons: C
The underlying consing context
eq: T
The underlying equality context
Implementations
Create a new trivial typing context with the given consing context
Trait Implementations
This method returns an ordering between self
and other
values if one exists. Read more
This method tests less than (for self
and other
) and is used by the <
operator. Read more
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
type ConsCtx = C
type ConsCtx = C
Get this context’s underlying consing context, if any
type TermEqCtx = T
type TermEqCtx = T
Get this context’s underlying equality checking context, if any
type MaxDeref = Self
type MaxDeref = Self
Get this context’s maximally dereferenced type, if any
Constrain a variable to have a given annotation. Return whether this constraint typechecks
Check whether a variable is compatible with a given annotation.
Push a parameter onto this context with an optional annotation
Get whether this context is universal for true/false global type-checking values given a filter
Get whether this context is universal for true/false variable type-checking values given a filter
Get whether this context is universal for true/false path type-checking values given a filter
Get whether this context assumes a value for type-checking given flags
Get whether this context assumes a value for globally type-checking given flags
Get whether this context assumes a value for variable type-checking given flags
Get whether this context assumes a value for path type-checking given flags
Get the base index of this context
Reset this context’s unbound variable constraints
Get this context’s underlying equality checking context
Auto Trait Implementations
impl<C, T> RefUnwindSafe for BinaryCtx<C, T> where
C: RefUnwindSafe,
T: RefUnwindSafe,
impl<C, T> UnwindSafe for BinaryCtx<C, T> where
C: UnwindSafe,
T: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
Borrow an optional value of type T
Compare self to key
and return true
if they are equal.